The Use of Model Constraints as Imprecise Software Test Oracles
نویسندگان
چکیده
Many software test generation techniques target on generating software test data. Only a few of them provide automatic way to verify if software behaves correctly using generated test data. We propose a testing technique, which uses UML modeling language extension OCL as imprecise test oracle. Imprecise OCL constraints can be viewed as expressions which define expected results within some ranges of possible values. When software is executed using generated test data the output is verified against imprecise OCL constraints. If output invalidates imprecise OCL constraints, a tester can assume with some probability that software has bugs.
منابع مشابه
Translating Object-z Speciications to Passive Test Oracles Translating Object-z Speciications to Passive Test Oracles
This report describes the translation of formal speciications of container classes to passive test oracles. Speciically, we use Object-Z for speciications and C++ for oracles. We discuss several practical issues for the use of formal speciications in test oracle generation. We then present the translation process for three passive oracle models and evaluate how each model satisses our goals of ...
متن کاملNon-discretionary imprecise data in efficiency Measurement
This paper introduces discretionary imprecise data in Data Envelopment Analysis (DEA) and discusses the efficiency evaluation of Decision Making Units (DMUs) with non-discretionary imprecise data. Then, suggests a method for evaluation the efficiency of DMUs with non-discretionary imprecise data. When some inputs and outputs are imprecise and non-discretionary, the DEA model becomes non-linear ...
متن کاملGrade estimation of Zu2 Jajarm deposit by considering imprecise variogram model parameters based on the extension principle
Nowadays, kriging has been accepted as the most common method of grade estimation in mineral resource evaluation stage. Access to the crisp assay data and a variogram model are the necessary means for the utilization of this method. Since fitting a crisp variogram model is generally difficult, if not impossible, the fitted theoretical model is usually tainted with uncertainty due to various rea...
متن کاملDesigning for Software Testability Using Automated Oracles
Software testing often requires massive numbers of test cases that must be manually inspected for correctness. This paper demonstrates the use of software \test oracles" to automate the process of checking the correctness of program output. The Prosper system, implemented by the authors, can be used to de ne test oracles and monitor the runtime behavior of software. An e ective method to design...
متن کاملPartial Test Oracle in Model Transformation Testing
Writing test oracles for model transformations is a difficult task. First, oracles must deal with models which are complex data. Second, the tester cannot always predict the expected value of all the properties of the output model produced by a transformation. In this paper, we propose an approach to create efficient oracles for validating part of the produced output model. In this approach we ...
متن کامل